Dyck tableaux
نویسندگان
چکیده
منابع مشابه
Dyck tableaux
The starting point of this work is the discovery of a new and direct construction that relies bijectively the permutations of length n to some weighted Dyck paths named subdivided Laguerre histories. These objects correspond to the combinatorial interpretation of the development of the generating function for factorial numbers in terms of a Stieltjes continued fraction [9]. Such a bijection has...
متن کاملDyck path statistics
A wide range of articles dealing with the occurrence of strings in Dyck paths appear frequently in the literature [2], [3], [5], [6], [7] and [11]. A Dyck path of semilength n is a lattice path of N2 running from (0, 0) to (2n, 0), whose allowed steps are the up diagonal step (1, 1) and the down diagonal step (1,−1). These steps are called rise and fall respectively. It is clear that each Dyck ...
متن کاملSofic-Dyck Shifts
We define the class of sofic-Dyck shifts which extends the class of Markov-Dyck shifts introduced by Inoue, Krieger and Mat-sumoto. Sofic-Dyck shifts are shifts of sequences whose finite factors form unambiguous context-free languages. We show that they correspond exactly to the class of shifts of sequences whose sets of factors are visibly pushdown languages. We give an expression of the zeta ...
متن کاملHyperS Tableaux - Heuristic Hyper Tableaux
Several syntactic methods have been constructed to automate theorem proving in first-order logic. The positive (negative) hyper-resolution and the clause tableaux were combined in a single calculus called hyper tableaux in [1]. In this paper we propose a new calculus called hyperS tableaux which overcomes substantial drawbacks of hyper tableaux. Contrast to hyper tableaux, hyperS tableaux are e...
متن کاملOn Generalized Dyck Paths
We generalize the elegant bijective proof of the Chung Feller theorem from the paper of Young-Ming Chen [The Chung-Feller theorem revisited, Disc. Math. 308 (2008), 1328–1329].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2013
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.11.038